O Gene Bhv32 MGI:5646392 heritable phenotypic marker http://identifiers.org/mgd/MGI:5646392 behavioral mutant 32